Nuprl Definition : ccsucc 11,40
ccsucc(id;num) == inr inr inr <id, num>    
latex

Definitionsinr x , <a, b>
FDL editor aliasesccsucc

origin